w{-}vartype($w$; $i$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$w$.T($i$,$x$)